大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Bailey Jones 的图书(共521本)

Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Primary Care English [electronic resource]

0
索取号：
作者：Ribes、 Ram贸n.、Garc铆a-Gimeno、 Isabel.、Jones、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rigorous Development of Complex Fault-Tolerant Systems [electronic resource]

0
索取号：
作者：Butler、 Michael.、Jones、 Cliff B.、Romanovsky、 Alexander.、Troubitsyna、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers

0
索取号：
作者：Peters、 Carol.、Gey、 Fredric C.、Gonzalo、 Julio.、M眉ller、 Henning.、Jones、 Gareth J. F.、Kluck、 Michael.、Magnini、 Bernardo.、Rijke、 Maarten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

0
索取号：
作者：Alferes、 J贸se J煤lio.、Bailey、 James.、May、 Wolfgang.、Schwertel、 Uta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Solid State Physics [electronic resource] : Introduction to the Theory

0
索取号：
作者：Patterson、 James D.、Bailey、 Bernard C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

0
索取号：
作者：Abdallah、 Ali E.、Jones、 Cliff B.、Sanders、 Jeff W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multilingual Information Access for Text, Speech and Images [electronic resource] : 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers

0
索取号：
作者：Peters、 Carol.、Clough、 Paul.、Gonzalo、 Julio.、Jones、 Gareth J. F.、Kluck、 Michael.、Magnini、 Bernardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Perspectives in Analysis [electronic resource] : Essays in Honor of Lennart Carleson鈥檚 75th Birthday

0
索取号：
作者：Benedicks、 Michael.、Jones、 Peter W.、Smirnov、 Stanislav.、Winckler、 Bj枚rn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Seismogenesis and Earthquake Forecasting: The Frank Evison Volume II [electronic resource]

0
索取号：
作者：Savage、 Martha K.、Rhoades、 David A.、Smith、 Euan G. C.、Gerstenberger、 Matthew C.、Vere-Jones、 David.、SpringerLink (Online service)、
出版社：Basel : Springer Basel, 2010.

Reflections on the Work of C.A.R. Hoare [electronic resource]

0
索取号：
作者：Roscoe、 A.W.、Jones、 Cliff B.、Wood、 Kenneth R.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Positron Emission Tomography [electronic resource] : Clinical Practice

0
索取号：
作者：Valk、 Peter E.、Delbeke、 Dominique.、Bailey、 Dale L.、Townsend、 David W.、Maisey、 Michael N.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective [electronic resource]

0
索取号：
作者：Besnard、 Denis.、Gacek、 Cristina.、Jones、 Cliff B.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Positron Emission Tomography [electronic resource] : Basic Sciences

0
索取号：
作者：Bailey、 Dale L.、Townsend、 David W.、Valk、 Peter E.、Maisey、 Michael N.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.